evaluating adaptability of set protocols using colored petri nets

secure electronic transaction (set) protocol is an open protocol, which has the potential to emerge as a powerful tool in securing of electronic transactions. the quality of a design of an ecommerce protocols has a great influence on achieving non-functional requirements (nfrs) to the system. an increasingly important non-functional attribute of complex software systems is adaptability. software for adaptive software systems should be flexible enough to allow components to change their behaviors depending upon the environmental and stakeholders' changes and goals of the system. evaluating adaptability at software to identify the weaknesses of the software and further to improve adaptability of their, are very important tasks. this paper presents a method based on the use of colored petri nets for evaluating adaptability in set protocol. we try to see how we can apply the way formalize cpn in terms of quality attributes to evaluate some of them, on the set protocol